|
In mathematics, especially in the area of algebra known as ring theory, an Ore extension, named after Øystein Ore, is a special type of a ring extension whose properties are relatively well understood. Ore extensions appear in several natural contexts, including skew and differential polynomial rings, group algebras of polycyclic groups, universal enveloping algebras of solvable Lie algebras, and coordinate rings of quantum groups. == Definition == Suppose that ''R'' is a (not necessarily commutative) ring, ''σ'':''R'' → ''R'' is a ring homomorphism, and ''δ'':''R'' → ''R'' is a ''σ''-derivation of ''R'', which means that ''δ'' is a homomorphism of abelian groups satisfying : Then the Ore extension ''R''(), also called a skew polynomial ring, is the noncommutative ring obtained by giving the ring of polynomials ''R''() a new multiplication, subject to the identity : If ''δ'' = 0 (i.e., is the zero map) then the Ore extension is denoted ''R''(''σ'' ). If ''σ'' = 1 (i.e., the identity map) then the Ore extension is denoted ''R''() and is called a differential polynomial ring. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Ore extension」の詳細全文を読む スポンサード リンク
|